Terrent Tao's video description:
In this experiment, I took a statement in universal algebra that a collaborator of mine (Bruno Le Floch) on the Equational Theories Project had written a one-page human proof of, and set the task of formalizing the proof in a very low-level, "line by line" fashion, with heavy reliance on both the large language model-powered code completion tool "Github Copilot" and the dependent type matching tactic "canonical". The proof was formalized in about 33 minutes.
The demo looks really appealing. I have a real-world use case in mind: analyzing an Excel file and asking questions about its contents. The current approach (https://github.com/pydantic/pydantic-ai/blob/main/mcp-run-py...) seems limited to running standalone scripts—it doesn't support reading and processing files. Is there an extension or workaround to enable file input and processing?
Jeremy, you've taken a bold, open initiative. Thank you for calling on all the small, innovative teams. To better understand the types of projects or applications that excite you and Eric most, could you share examples of companies or applications that Answer.AI currently supports or plants to invest in? Additionally, if yo u have any published articles detailing these ventures please share the link. Best wishes with your venture.
Could you also elaborate on how companies can reach out to you and Eric? What are the key criteria or 'table stakes' you look for in a project or team?
I work in similar area. Giving them space and time to stream their creativity into some tangible artifact is the first step. This can be cash or a long chat on random topics. Some talented folks resign in their life due to day-to-day grind. They have to be reignited to tap into their creativity. It is mind-blowing to see simple tools, processes, and a little bit of encouragement can go a long way. Providing space and time for creativity is a good means to a better end - whatever the end may be.
Not all contributors look for returns. There are people who are willing to contribute to a cause instead of say buying a TV. We see such contributions on gofundme to help out people in need.
Nice project!! Artists, traditional medicine practitioners, philosophers, social service volunteers, natural farmers, conservationists, and researchers in many obscure areas are people who come to mind while reading about Mothminds. A huge human social good potential remains untapped in these silent people. I hope Mothminds will be a catalyst in this effort.
Funding can move the needle and sustain them to some level. A greater need is yet not met like providing emotional support until they see light in their area. More tools to help them help us are unrealized wishes.
Western yoga has been evolving over the last couple of centuries. An age-old proverb says - Truth is one, wise express it in many ways. Indian teachers came to the West and Westerners went to India to learn about Indian Philosophy - Yoga. Ideally speaking, Yoga is free for all. Some teachers started charging a fee for making a living, which may be fine. Slowly dilution of purpose occurred and some worst-case teachers turned to be opportunists. The result is most of the Western Yoga schools/studios focus on postures, yoga pants for flexibility a few raise to teaching breathing techniques for a calmer mind, and rarely few pickup the actual spirit of Yoga described in original texts Bhagavad Gita or Patanjali yoga sutras.
Lastly, it is a happy coincidence people (including Indians) like yoga exercises. Most of us will be happy with the results of the exercises resulting in flexibility and transient calmness in mind. Real seekers go after Yoga for years and it is not available down the street or online. In reality, ultimate Yoga - a union of gross, subtle, and causal bodies - is very high-bar to reach.
Hopefully, it gives some people a glimpse of the original idea of Yoga. I'm sorry if this is too wordy and preachy.
